$e$ receives $a$ $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$isrcv($e$) \& val($e$):valtype($e$)$>>$$a$